3

Foreword for special issue of APAL for GaLoP 2013

Hyland, Martin, McCusker, Guy, Tzevelekos, Nikos
Journal:
Annals of Pure and Applied Logic
Year:
2017
Language:
english
File:
PDF, 119 KB
english, 2017
5

A graphical foundation for interleaving in game semantics

McCusker, Guy, Power, John, Wingfield, Cai
Journal:
Journal of Pure and Applied Algebra
Year:
2015
Language:
english
File:
PDF, 2.40 MB
english, 2015
6

Games and Full Abstraction for FPC

Guy McCusker
Journal:
Information and Computation
Year:
2000
Language:
english
File:
PDF, 591 KB
english, 2000
7

Games and Definability for FPC

Guy McCusker
Journal:
Bulletin of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 383 KB
english, 1997
8

A Graphical Foundation for Schedules

McCusker, Guy, Power, John, Wingfield, Cai
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2012
Language:
english
File:
PDF, 310 KB
english, 2012
9

Foreword for special issue of APAL for GaLoP 2005

Guy McCusker, Dan Ghica
Journal:
Annals of Pure and Applied Logic
Year:
2008
Language:
english
File:
PDF, 85 KB
english, 2008
10

Modelling Local Variables: Possible Worlds and Object Spaces

Guy McCusker, John Power
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2010
Language:
english
File:
PDF, 224 KB
english, 2010
14

Imperative programs as proofs via game semantics

Churchill, Martin, Laird, Jim, McCusker, Guy
Journal:
Annals of Pure and Applied Logic
Year:
2013
Language:
english
File:
PDF, 678 KB
english, 2013
15

Understanding Game Semantics Through Coherence Spaces

Ana C. Calderon, Guy McCusker
Journal:
Electronic Notes in Theoretical Computer Science
Year:
2010
Language:
english
File:
PDF, 249 KB
english, 2010
16

Full abstraction for Idealized Algol with passive expressions

Samson Abramsky, Guy McCusker
Journal:
Theoretical Computer Science
Year:
1999
Language:
english
File:
PDF, 251 KB
english, 1999
17

The regular-language semantics of second-order idealized ALGOL

Dan R. Ghica, Guy McCusker
Journal:
Theoretical Computer Science
Year:
2003
Language:
english
File:
PDF, 479 KB
english, 2003